Objectifs d'apprentissage
- Définir la syntaxe formelle à l'aide de la forme étendue de Backus-Naur (EBNF)
- Analyser les différences entre sémantique statique et sémantique dynamique
- Évaluer les modèles sémantiques opérationnels et dénotatifs
- Spécifier les systèmes de types et les règles de portée dans les normes du langage